161. Logical foundations of computer science
المؤلف: / Sergei N. Artemov, Anil Nerode (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal
رده :
QA
,
75
.
5
,.
L44
,
2007
162. Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
المؤلف: LFCS 9002)9002 :Deerfield Beach, Fla.(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
75
.
5
.
L64
2009
163. Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
75
.
5
.
L64
1997
164. Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
المؤلف: A. Nerode, Yu.V. Matiyasevich, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
813
165. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
المؤلف: A. Nerode, Yuri V. Matiyasevich, eds
المکتبة: (طهران)
موضوع: Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
L64
1994
166. Many-Valued Logics :
المؤلف: by Leonard Bolc, Piotr Borowik.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
45
B954
1992
167. Many-sorted logic and its applications
المؤلف: edited by K. Meinke and J.V. Tucker
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
168. Mathematical logic for computer science
المؤلف: Lu, Chung-wan
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
169. Mathematical logic for computer science
المؤلف: Lu, Zhong-Wan
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
170. Mathematics for computer students
المؤلف: Witton, Rex
المکتبة: (طهران)
موضوع: Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W57
1992
171. Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989
المؤلف: R. Studer ed
المکتبة: (طهران)
موضوع: Congresses ، Natural language processing )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
459
172. Nonclassical Logics and Information Processing :
المؤلف: edited by David Pearce, Heinrich Wansing.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
173. Philosophical and mathematical logic /
المؤلف: Harrie de Swart.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
174. Practical Applications of Computational Intelligence Techniques
المؤلف: edited by Lakhmi Jain, Philippe Wilde.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
175. Proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
رده :
QA
75
.
5
.
S9574a
176. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
المؤلف: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
المکتبة: (طهران)
موضوع: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
177. Proceedings of ... IEEE International Conference on Fuzzy Systems/the international joint conference of the ... IEEE International Conference on Fuzzy Systems and the .... International Fuzzy Engineering Symposium
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Intelligent control systems
رده :
QA
76
.
87
.
I3434a
178. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
المؤلف: Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
179. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
المؤلف: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
180. Relationale Datenbanken Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL
المؤلف: Thomas Studer
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Software engineering.
رده :
QA76
.
9
.
D3
T466
2016
